1

Algebraic specification and automatic generation of compilers

Year:
1992
Language:
english
File:
PDF, 1.00 MB
english, 1992
2

The intersection searching problem for c-oriented polygons

Year:
1991
Language:
english
File:
PDF, 615 KB
english, 1991
6

A formal description of monitors by CCS

Year:
1992
Language:
english
File:
PDF, 873 KB
english, 1992
7

A parallel algorithm for tree pattern matching

Year:
1993
Language:
english
File:
PDF, 814 KB
english, 1993
16

A synthesis method of systolic algorithms for nested loop programs

Year:
1988
Language:
english
File:
PDF, 739 KB
english, 1988
18

Some aspects of linear space automata

Year:
1972
Language:
english
File:
PDF, 1.52 MB
english, 1972
19

A real-time strictness test for deterministic pushdown automata

Year:
1980
Language:
english
File:
PDF, 448 KB
english, 1980
20

A simplicity test for deterministic pushdown automata

Year:
1980
Language:
english
File:
PDF, 1.31 MB
english, 1980
21

The equivalence problem for real-time strict deterministic languages

Year:
1980
Language:
english
File:
PDF, 1.35 MB
english, 1980
40

Some Notes on Stability Problems of Probabilistic Automata

Year:
1971
Language:
english
File:
PDF, 795 KB
english, 1971